Избыточные модели контролепригодных распределенных вычислительных систем реального времени
Аннотация:
Рассмотрение вопросов диагностирования занимает важное место в процессе проектирования систем обработки информации и управления, поскольку от качества их решения зависит надежность и отказоустойчивость систем. В работе представлены результаты разработки алгоритма синтеза модели, предназначенной для решения проблемы тестового диагностирования и ориентированной на распределенные вычислительные системы. Алгоритм встраивается в систему и исполняется параллельно с основным программным обеспечением системы, что позволяет упрощать процесс ее тестирования. Описание распределенной вычислительной системы, дополненное встроенной диагностической моделью, составляет избыточную модель системы. Предложенный алгоритм отличается сокращенным объемом диагностической информации. Диагностическая модель имеет иерархическую структуру и создается в два этапа. На первом этапе для графа межмодульных связей системы вычисляется множество путей, которые составляют покрытие его ребер. С каждым из полученных путей сопоставляется цепь из динамических звеньев, равным по числу количества программных модулей, через которые проходит данный путь. На втором этапе определяется вид динамических звеньев. При этом учитывается, что искомая динамическая модель системы используется для построения тестов. Процедура построения тестов упрощается, если модель системы линейна, управляема и наблюдаема. На основании этого формулируются требования к звеньям цепей модели. С помощью разработанного алгоритма можно создать дискретно-событийную модель системы, которая характеризуется сокращенным объемом используемой диагностической информации.
Ключевые слова:
Постоянный URL
Статьи в номере
- Особенности изображений воды, льда, снега, предметов и человека, формируемых гибридной телевизионной камерой в ближнем инфракрасном диапазоне
- Анализ периодически текстурированных кремниевых солнечных элементов с использованием технологии моделирования TCAD
- Сцинтилляционные датчики гамма-излучения на основе твердотельных фотоумножителей в составе беспроводных сетей промышленного интернета
- Повышение качества сетевого управления технологическими процессами
- Геометрический подход к решению задачи для машин Дубинса при формировании программных траекторий движения
- Дрейф двумерных вакансионных островков на поверхности Si(100) в условиях электромиграции
- Исследование фотокаталитических свойств композитов хитозан-TiO2 для разложения пирена
- Кинетика трансформации формы эшелонов атомных ступеней на поверхности Si(001) в условиях электромиграции
- Аномальный диффузионный профиль адатомов на экстремально широких террасах поверхности Si (111)
- Методика эксперимента для оценивания вероятности и опасности реализации сетевых атак в автоматизированных системах
- Метод отбора мета-признаков на основе фреймворка Auto-sklearn
- Автоматическое построение дерева диалога по неразмеченным текстовым корпусам на русском языке
- Обобщенное программирование с комбинаторами и объектами
- Машинное обучение байесовской сети доверия как инструмента оценки интенсивности процесса по данным из социальной сети
- Модели реструктуризации программного обеспечения для языка объектно-ориентированного программирования с использованием алгоритма нечеткой кластеризации
- Концепция управления сетевой структурой интеллектуальных устройств в условиях цифровой трансформации энергетической отрасли
- Защита изображений лиц от распознавания в социальных сетях: способы решения и их перспективы
- Исследование влияния толщины базы на фотоэлектрические параметры кремниевых солнечных элементов с использованием новых TCAD алгоритмов
- Сбалансированный алгоритм гибридного метода крупных частиц и его проверка на некоторых тестовых задачах
- Архитектура системы полнотекстового поиска по речевым данным на основе глобального индекса
- Оценка кровоснабжения мозга через интактный череп с использованием визуализирующей фотоплетизмографии